home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
TeX 1995 July
/
TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO
/
systems
/
atari
/
driver
/
Dvi_110
/
dvi_util.lzh
/
SHORT_PK.DOC
< prev
next >
Wrap
Text File
|
1993-07-16
|
880b
|
18 lines
Version 1.00 vom 15.7.93 SHORT_PK
╜ 1993 by m. pristovsek ========
Wenn man sich PK-Dateien ansieht, dann stellt man fest, das bis zu 15%
überflüssig sind: Der Kommentar ist für persönlichen Gebrauch unwichtig und die
\special-Befehle bearbeitet der Treiber eh nicht. (Zumindest die, die ich
benutze.) Also: weg damit.
Damit SHORT_PK einfach wird, ist keine Suchfunktion eingebaut. Aber man kann den
Treiber von einer UNIX-Shell (Mupfel, tcsh, ...) starten. Z.B.: (Aktueller Pfad
ist das PK-Verzeichnis): short_pk *.pk
Wenige Fehlerprüfungen werden gemacht, wenn also eine PK-Datei defekt ist, kann
SHORT_PK abstürzen oder eine Datei schreiben, bis die Platte voll ist. Ich
übernehme keine Gewähr für nix. Au₧erdem geht SHORT_PK davon aus, da₧ genügend
Speicher da ist, denn die Datei sollte eigentlich kürzer werden.
prissi@marie.physik.tu-berlin.de